Papers by Sumit Kumar Jha
NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering (2026.findings-acl)
Copied to clipboard
| Challenge: | Existing faithfulness checks only test whether changing the written chain changes the answer, without verifying whether the steps are truly supported by the given evidence. |
| Approach: | They propose a method that checks CoT faithfulness step by step for contextual question answering. |
| Outcome: | The proposed method outperforms causal mediation, perturbation probes, and behavioral monitoring in OpenBookQA, QASC, and HotpotQA. |